Matthew 1

Results: 1372



#Item
221

Collective States, Multistability and Transitional Behavior in Schooling Fish Kolbjørn Tunstrøm1*, Yael Katz1, Christos C. Ioannou1,2, Cristia´n Huepe3, Matthew J. Lutz1, Iain D. Couzin1* 1 Department of Ecology and E

Add to Reading List

Source URL: icouzin.princeton.edu

Language: English - Date: 2013-11-26 11:59:37
    222

    REPORTS Coherent State Evolution in a Superconducting Qubit from Partial-Collapse Measurement N. Katz,1 M. Ansmann,1 Radoslaw C. Bialczak,1 Erik Lucero,1 R. McDermott,1 Matthew Neeley,1

    Add to Reading List

    Source URL: www.ee.ucr.edu

    Language: English - Date: 2007-06-18 20:51:24
      223

      Extended Computation Tree Logic Roland Axelsson1 , Matthew Hague2 , Stephan Kreutzer2 , Martin Lange3 , and Markus Latte1 1 Department of Computer Science, Ludwig-Maximilians-Universit¨

      Add to Reading List

      Source URL: www.cs.rhul.ac.uk

      Language: English - Date: 2013-02-08 18:19:59
        224

        Synchronisation- and Reversal-Bounded Analysis of Multithreaded Programs with Counters Matthew Hague1,2 and Anthony W. Lin2 1 LIGM (Universit´e Paris-Est), LIAFA (Universit´e Paris Diderot) & CNRS

        Add to Reading List

        Source URL: www.cs.rhul.ac.uk

        Language: English - Date: 2013-02-08 18:19:57
          225

          Unboundedness and Downward Closures of Higher-Order Pushdown Automata Matthew Hague1 , Jonathan Kochems2 and C.-H. Luke Ong2 2 1

          Add to Reading List

          Source URL: www.cs.rhul.ac.uk

          Language: English - Date: 2015-11-05 06:05:48
            226

            Page 1 Emerging Issues Copyright 2008, Matthew Bender & Company, Inc., a member of the LexisNexis Group. All Rights Reserved. Friel and Meyer on User-Generated Content: Potential DMCA Safe Harbor 2008 Emerging Issues 20

            Add to Reading List

            Source URL: documents.jdsupra.com

            Language: English - Date: 2011-07-28 14:16:05
              227

              A User Oriented OWL Development Environment Designed to Implement Common Patterns & Minimise Common Errors Matthew Horridge1, Alan Rector1, Nick Drummond1, Holger Knublauch2, Hai Wang1 1

              Add to Reading List

              Source URL: iswc2004.semanticweb.org

              Language: English - Date: 2004-10-25 03:01:21
                228

                Characterising Testing Preorders for Broadcasting Distributed Systems? Andrea Cerone1 and Matthew Hennessy2 1 IMDEA Software Institute, 2 Trinity College Dublin

                Add to Reading List

                Source URL: www.cs.le.ac.uk

                Language: English - Date: 2014-07-28 09:33:06
                  229

                  Extended Computation Tree Logic Roland Axelsson1 , Matthew Hague2 , Stephan Kreutzer2 , Martin Lange3 , and Markus Latte1 1 3

                  Add to Reading List

                  Source URL: www.cs.rhul.ac.uk

                  Language: English - Date: 2013-02-08 18:19:59
                    230

                    1: The Vampire Matthew He watched the girl, her hands clasped and eyes downcast, a tendril of hair tickling her nose in a way she found conspicuously difficult to ignore. Shoots of grass peeked through the dirt before h

                    Add to Reading List

                    Source URL: www.xenex.org

                    Language: English - Date: 2013-06-03 19:25:02
                      UPDATE